Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web ... 3670 (Lecture Notes in Computer Science)
by Leila Kloul,Mario Bravetti,Gianluigi Zavattaro
ISBN 13: 9783540287018
Format: Paperback (368 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings: 3535 (Lecture Notes in Computer Science)
by Martin Steffen,Gianluigi Zavattaro
ISBN 13: 9783540261810
Format: Illustrated (336 pages) Publisher: Springer Published: 13 Jun 2008
Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings: 4184 (Lecture Notes in Computer Science)
by Mario Bravetti, Manuel Núñz, Gianluigi Zavattaro
ISBN 13: 9783540388623
Format: Paperback (304 pages) Publisher: Springer Published: 22 Feb 2009
Service-Oriented and Cloud Computing: First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings (Lecture Notes in Computer Science)
by Flavio De Paoli, Ernesto Pimentel, Gianluigi Zavattaro
ISBN 13: 9783642334269
Format: Paperback (296 pages) Publisher: Springer Published: 17 Aug 2012